$\forall$$p$:FinProbSpace, $S$:($\mathbb{N}\rightarrow$($\mathbb{N}\rightarrow$Outcome)$\rightarrow\mathbb{P}$).
\\[0ex]($\forall$$i$:$\mathbb{N}$. nullset($p$;$S$($i$))) $\Rightarrow$ nullset($p$;$\lambda$$s$.$\exists$$i$:$\mathbb{N}$. ($S$($i$)($s$)))